The Geometry of L 0

Suppose that we have the unit Euclidean ball in R and construct new bodies using three operations linear transformations, closure in the radial metric and multiplicative summation defined by ‖x‖K+0L = p ‖x‖K‖x‖L. We prove that in dimension 3 this procedure gives all origin symmetric convex bodies, while this is no longer true in dimensions 4 and higher. We introduce the concept of embedding of a normed space in L0 that naturally extends the corresponding properties of Lp-spaces with p 6= 0, and show that the procedure described above gives exactly the unit balls of subspaces of L0 in every dimension. We provide Fourier analytic and geometric characterizations of spaces embedding in L0, and prove several facts confirming the place of L0 in the scale of Lp-spaces.